Model checking

Results: 996



#Item
91Automatic Abstraction in SMT-Based Unbounded Software Model Checking ⋆ Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki, and Edmund M. Clarke Carnegie Mellon University, Pittsburgh, PA, USA Abstract. Software model che

Automatic Abstraction in SMT-Based Unbounded Software Model Checking ⋆ Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki, and Edmund M. Clarke Carnegie Mellon University, Pittsburgh, PA, USA Abstract. Software model che

Add to Reading List

Source URL: www.cs.cmu.edu

- Date: 2013-06-08 14:51:39
    92Automatic Software Verification April 28, 2015 Lecture 6: Bounded Model Checking Lecturer: Mooly Sagiv

    Automatic Software Verification April 28, 2015 Lecture 6: Bounded Model Checking Lecturer: Mooly Sagiv

    Add to Reading List

    Source URL: www.cs.tau.ac.il

    - Date: 2015-05-27 01:40:48
      93SMT-based Model Checking for Recursive Programs ⋆ Anvesh Komuravelli, Arie Gurfinkel, and Sagar Chaki Carnegie Mellon University, Pittsburgh, PA, USA Abstract. We present an SMT-based symbolic model checking algorithm

      SMT-based Model Checking for Recursive Programs ⋆ Anvesh Komuravelli, Arie Gurfinkel, and Sagar Chaki Carnegie Mellon University, Pittsburgh, PA, USA Abstract. We present an SMT-based symbolic model checking algorithm

      Add to Reading List

      Source URL: www.cs.cmu.edu

      - Date: 2014-08-20 17:05:42
        94Cascade (Competition Contribution) Wei Wang and Clark Barrett New York University Abstract. Cascade is a static program analysis tool developed at New York University. It uses bounded model checking to generate verificat

        Cascade (Competition Contribution) Wei Wang and Clark Barrett New York University Abstract. Cascade is a static program analysis tool developed at New York University. It uses bounded model checking to generate verificat

        Add to Reading List

        Source URL: www.cs.nyu.edu

        - Date: 2015-01-29 13:02:34
          95Parameterized Model Checking of Token-Passing Systems Benjamin Aminof1 , Swen Jacobs2 , Ayrat Khalimov2 , Sasha Rubin1,3 1 ?

          Parameterized Model Checking of Token-Passing Systems Benjamin Aminof1 , Swen Jacobs2 , Ayrat Khalimov2 , Sasha Rubin1,3 1 ?

          Add to Reading List

          Source URL: www.swenjacobs.com

          - Date: 2013-11-19 05:44:53
            96Maintenance analysis and optimization via statistical model checking: Evaluating a train pneumatic compressor Enno Ruijters1 , Dennis Guck1 , Peter Drolenga2 , Margot Peters2 , and Mari¨elle Stoelinga1 1: University of

            Maintenance analysis and optimization via statistical model checking: Evaluating a train pneumatic compressor Enno Ruijters1 , Dennis Guck1 , Peter Drolenga2 , Margot Peters2 , and Mari¨elle Stoelinga1 1: University of

            Add to Reading List

            Source URL: fmt.ewi.utwente.nl

            - Date: 2016-06-13 09:28:43
              97SATCheck: SAT-Directed Stateless Model Checking for SC and TSO tifact * Complete sis

              SATCheck: SAT-Directed Stateless Model Checking for SC and TSO tifact * Complete sis

              Add to Reading List

              Source URL: plrg.eecs.uci.edu

              - Date: 2016-10-19 22:44:46
                98What You Always Wanted to Know about Model Checking of Fault-Tolerant Distributed Algorithms? Igor Konnov, Helmut Veith, and Josef Widder TU Wien (Vienna University of Technology)

                What You Always Wanted to Know about Model Checking of Fault-Tolerant Distributed Algorithms? Igor Konnov, Helmut Veith, and Josef Widder TU Wien (Vienna University of Technology)

                Add to Reading List

                Source URL: forsyte.at

                - Date: 2016-03-08 09:52:31
                  99A model checking approach for verifying COWS specifications? Alessandro Fantechi1 , Stefania Gnesi2 , Alessandro Lapadula1 , Franco Mazzanti2 , Rosario Pugliese1 , and Francesco Tiezzi1 1

                  A model checking approach for verifying COWS specifications? Alessandro Fantechi1 , Stefania Gnesi2 , Alessandro Lapadula1 , Franco Mazzanti2 , Rosario Pugliese1 , and Francesco Tiezzi1 1

                  Add to Reading List

                  Source URL: rap.dsi.unifi.it

                  - Date: 2008-01-28 09:31:30
                    100Almost-Sure Model-Checking of Reactive Timed Automata Patricia Bouyer∗ , Thomas Brihaye† , Marcin Jurdzi´nski‡ and Quentin Menet† ∗ LSV – CNRS & ENS Cachan – France

                    Almost-Sure Model-Checking of Reactive Timed Automata Patricia Bouyer∗ , Thomas Brihaye† , Marcin Jurdzi´nski‡ and Quentin Menet† ∗ LSV – CNRS & ENS Cachan – France

                    Add to Reading List

                    Source URL: www.lsv.ens-cachan.fr

                    - Date: 2012-09-14 10:37:26